Meta-agent programs
نویسندگان
چکیده
منابع مشابه
Meta-agent programs
There are numerous applications where an agent a needs to reason about the beliefsof another agent, as well as about the actions that other agents may take. In (21)the concept of an agent program is introduced, and a language within which theoperating principles of an agent can be declaratively encoded on top of imperativedata structures is defined. In this paper we first introd...
متن کاملComposing Non-orthogonal Meta-programs Composing Non-orthogonal Meta-programs
A key feature of meta-level architectures is the strict separation between the application and the non-functional requirements. In a base-level, the application behaviour is modelled. Other requirements are handled in a meta-program. This makes both application and meta-program reusable. We introduce a mechanism based on high-level declarative policies to overcome the diiculty of tailoring a me...
متن کاملTemporal agent programs
The “agent program” framework introduced by Eiter, Subrahmanian and Pick (Artificial Intelligence, 108(1-2), 1999), supports developing agents on top of arbitrary legacy code. Such agents are continuously engaged in an “event occurs→ think → act→ event occurs . . . ” cycle. However, this framework has two major limitations: (1) all actions are assumed to have no duration, and (2) all actions ar...
متن کاملVerifiable Multi-agent Programs
AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...
متن کاملAgent planning programs
a r t i c l e i n f o a b s t r a c t Keywords: Agent-oriented programming Automated planning Reasoning about action and change Synthesis of reactive systems This work proposes a novel high-level paradigm, agent planning programs, for modeling agents behavior, which suitably mixes automated planning with agent-oriented programming. Agent planning programs are finite-state programs, possibly con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 2000
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(99)00062-x